Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A panorama of discrepancy theory / W. Chen, A. Srivastav, G. Travaglini editors
| A panorama of discrepancy theory / W. Chen, A. Srivastav, G. Travaglini editors |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | XVI, 695 p. ; 24 cm |
| Soggetto topico |
65C05 - Monte Carlo methods [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 11D75 - Diophantine inequalities [MSC 2020] 11B25 - Arithmetic progressions [MSC 2020] 11P21 - Lattice points in specified regions [MSC 2020] 65D30 - Numerical integration [MSC 2020] 11K60 - Diophantine approximation in probabilistic number theory [MSC 2020] 42A38 - Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type [MSC 2020] 11J71 - Distribution modulo one [MSC 2020] 11K45 - Pseudo-random numbers; Monte Carlo methods [MSC 2020] 11K38 - Irregularities of distribution, discrepancy [MSC 2020] 11K06 - General theory of distribution modulo $1$ [MSC 2020] 42B10 - Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Combinatorial Discrepancy Combinatorics Counting Problems Geometric Discrepancy Quasi-Monte Carlo Integration |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0101529 |
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorics and complexity of partition functions / Alexander Barvinok
| Combinatorics and complexity of partition functions / Alexander Barvinok |
| Autore | Barvinok, Alexander |
| Pubbl/distr/stampa | [Cham], : Springer, 2016 |
| Descrizione fisica | VI, 303 p. : ill. ; 24 cm |
| Soggetto topico |
90C25 - Convex programming [MSC 2020]
60Cxx - Combinatorial probability [MSC 2020] 37A60 - Dynamical aspects of statistical mechanics [MSC 2020] 05A16 - Asymptotic enumeration [MSC 2020] 41A05 - Interpolation in approximation theory [MSC 2020] 30C15 - Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral [MSC 2020] 30E10 - Approximation in the complex plane [MSC 2020] 37E05 - Dynamical systems involving maps of the interval (piecewise continuous, continuous, smooth) [MSC 2020] 05C50 - Graphs and linear algebra (matrices, eigenvalues, etc.) [MSC 2020] 41A10 - Approximation by polynomials [MSC 2020] 05A05 - Permutations, words, matrices [MSC 2020] 05C65 - Hypergraphs [MSC 2020] 68R05 - Combinatorics in computer science [MSC 2020] 05C70 - Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) [MSC 2020] 15A69 - Multilinear algebra, tensor calculus [MSC 2020] 15A15 - Determinants, permanents, other special matrix functions [MSC 2020] 30Axx - General properties of functions of one complex variable [MSC 2020] 90C27 - Combinatorial optimization [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Algorithms Combinatorics Complexity Correlation decay Graph homomorphism Independence polynomial Integer flow Interpolation Mathing polynomial Partition function Permanent Scaling Stable polynomials |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114529 |
Barvinok, Alexander
|
||
| [Cham], : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Contemporary Computational Mathematics-A Celebration of the 80th Birthday of Ian Sloan / Josef Dick, Frances Y. Kuo, Henryk Woźniakowski editors
| Contemporary Computational Mathematics-A Celebration of the 80th Birthday of Ian Sloan / Josef Dick, Frances Y. Kuo, Henryk Woźniakowski editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xlix, 1309 p. : ill. ; 24 cm |
| Soggetto topico |
65Nxx - Numerical methods for partial differential equations, boundary value problems [MSC 2020]
41-XX - Approximations and expansions [MSC 2020] 65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] 65Cxx - Probabilistic methods, stochastic differential equations [MSC 2020] 11K38 - Irregularities of distribution, discrepancy [MSC 2020] 65Rxx - Numerical methods for integral equations, integral transforms [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Applications in finance, groundwater flow, physics Boundary integral equations Constructive approximation on spheres and manifolds Electron-atom scattering Few-nucleon scattering problems Four-body problem, and the Bencze-Redish-Sloan equations High dimensional integration and approximation Hyperinterpolation, radial basis functions, needlets Information based complexity Numerical analysis of PDEs with random coefficients Numerical analysis of partial differential equations Numerical analysis of second-kind integral equations Numerical integration and product integration Qualocation Superconvergence of the iterated Galerkin approximation Tractability of multivariate and infinite-dimensional problems Weighted spaces of multivariate functions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124614 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elderly Health Services and Remote Health Monitoring / Lumin Chen ... [et al.]
| Elderly Health Services and Remote Health Monitoring / Lumin Chen ... [et al.] |
| Pubbl/distr/stampa | Singapore, : Springer, 2020 |
| Descrizione fisica | x, 81 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
92-XX - Biology and other natural sciences [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Deep learning techniques Elderly Hand rehabilitation robot Health Services Kinematics Lower extremity exoskeleton Markov process Rehabilitation Remote health monitoring Wearable sensor |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250120 |
| Singapore, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Generalized network improvement and packing problems / Michael Holzhauser
| Generalized network improvement and packing problems / Michael Holzhauser |
| Autore | Holzhauser, Michael |
| Pubbl/distr/stampa | Wiesbaden, : Springer Spektrum, 2016 |
| Descrizione fisica | XVI, 213 p. : ill. ; 24 cm |
| Soggetto topico |
90C90 - Applications of mathematical programming [MSC 2020]
90B10 - Deterministic network models in operations research [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C60 - Abstract computational complexity for mathematical programming problems [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Approximability Computational complexity Fractional Packing Maximum Flow Problems Minimum Cost Flow Problems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ger
eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114795 |
|
Holzhauser, Michael
|
||
| Wiesbaden, : Springer Spektrum, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introductory Statistics and Random Phenomena : Uncertainty, Complexity and Chaotic Behavior in Engineering and Science / Manfred Denker, Wojbor Woyczynski
| Introductory Statistics and Random Phenomena : Uncertainty, Complexity and Chaotic Behavior in Engineering and Science / Manfred Denker, Wojbor Woyczynski |
| Autore | Denker, Manfred |
| Edizione | [Repr. of the 1997 ed] |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2017 |
| Descrizione fisica | xxvi, 509 p. : ill. ; 24 cm |
| Altri autori (Persone) | Woyczynski, Wojbor A. |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
62P30 - Applications of statistics in engineering and industry; control charts [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Chaotic Behavior Introductory Statistics Nonlinear dynamical systems Statistical Data Analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123724 |
|
Denker, Manfred
|
||
| Cham, : Birkhäuser, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák
| Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák |
| Autore | Pudlák, Pavel |
| Pubbl/distr/stampa | Cham, : Springer, 2013 |
| Descrizione fisica | xiv, 695 p. : ill. ; 24 cm |
| Soggetto topico |
03F20 - Complexity of proofs [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Algorithmic complexity Complexity of Proofs Computational complexity Foundations of mathematics Incompleteness theorems Mathematical logic Set-Theoretical Foundations |
| ISBN | 978-33-19-00118-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0273604 |
|
Pudlák, Pavel
|
||
| Cham, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical models, methods and applications / Abul Hasan Siddiqi, Pammy Manchanda, Rashmi Bhardwaj editors
| Mathematical models, methods and applications / Abul Hasan Siddiqi, Pammy Manchanda, Rashmi Bhardwaj editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2015 |
| Descrizione fisica | XIX, 298 p. : ill. ; 24 cm |
| Soggetto topico |
94A60 - Cryptography [MSC 2020]
94-XX - Information and communication theory, circuits [MSC 2020] 68U10 - Computing methodologies for image processing [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 00A69 - General applied mathematics [MSC 2020] 94A08 - Image processing (compression, reconstruction, etc.) in information and communication theory [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Cryptography Cubic Spline Approximation Finite Element Approximation Integral geometry Soft Computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114064 |
| Singapore, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Numerical Methods of Mathematics Implemented in Fortran / Sujit Kumar Bose
| Numerical Methods of Mathematics Implemented in Fortran / Sujit Kumar Bose |
| Autore | Bose, Sujitkumar |
| Pubbl/distr/stampa | Singapore, : Springer, 2019 |
| Descrizione fisica | xvii, 467 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
65-XX - Numerical analysis [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Bolzano Bisection Method Convergence theorems Fortran General Iteration Method Interpolation Regula Falsi Method Secant Method |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0127370 |
|
Bose, Sujitkumar
|
||
| Singapore, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Operations Research, Engineering, and Cyber Security : Trends in Applied Mathematics and Technology / Nicholas J. Daras, Themistocles M. Rassias editors
| Operations Research, Engineering, and Cyber Security : Trends in Applied Mathematics and Technology / Nicholas J. Daras, Themistocles M. Rassias editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xi, 422 p. : ill. ; 24 cm |
| Soggetto topico |
26D15 - Inequalities for sums, series and integrals [MSC 2020]
44A10 - Laplace transform [MSC 2020] 45Pxx - Integral operators [MSC 2020] 94C30 - Applications of design theory to circuits and networks [MSC 2020] 68R10 - Graph theory (including graph drawing) in computer science [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] 03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020] 46E30 - Spaces of measurable functions (Lp-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc) [MSC 2020] 47G10 - Integral operators [MSC 2020] 31A10 - Integral representations, integral operators, integral equations methods in two dimensions [MSC 2020] 47A07 - Forms (bilinear, sesquilinear, multilinear) [MSC 2020] |
| Soggetto non controllato |
Air Defense Systems and Detection Theory
Algorithmic complexity Cyber-warfare Data to Decisions Decision Models Engineered Resilient Systems Mathematical Modeling and Simulation Military Operations Research Prediction Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123739 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
